|
課程名稱 |
自動機與形式語言
Formal Languages and Automata Theory |
|
開課學期 |
104-1 |
|
授課對象 |
資訊工程學系 |
|
授課教師 |
林智仁 |
|
課號 |
CSIE3110 |
|
課程識別碼 |
902E43500 |
|
班次 |
01 |
|
學分 |
3 |
|
全/半年 |
半年 |
|
必/選修 |
必帶 |
|
上課時間 |
星期二3,4,5(10:20~13:10) |
|
上課地點 |
資104 |
|
備註 |
本課程以英語授課。
限學號單號 且 限本系所學生(含輔系、雙修生) 且 限學士班三年級以上
總人數上限：106人 |
|
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1041CSIE3110_01 |
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
• Automata and Languages: Mathematical models of computation.
• Computability Theory: Problems CAN and CANNOT be solved by computers.
• Complexity Theory: Why some problems are hard but some are easy? |
|
課程目標 |
The purpose of this course is to let students
• Learn that theoretical CS has some fancy/big ideas.
• Learn topics relevant to practice (e.g., modern cryptography)
• Learn abstract way of thinking the computers. Help to design more beautiful ones.
|
|
課程要求 |
|
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
教科書：Michael Sipser, Introduction to the Theory of Computation, second edition, Course Technology, 2005. |
|
參考書目 |
|
|
評量方式
(僅供參考) |
|
|